Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Admissible Sets and Structures: An Approach to Definability Theory
| Admissible Sets and Structures: An Approach to Definability Theory |
| Autore | Barwise Jon |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1976 |
| Disciplina | 511/.3 |
| Collana | Perspectives in mathematical logic Admissible sets and structures |
| Soggetto topico |
Admissible sets
Definability theory (Mathematical logic) Mathematics Physical Sciences & Mathematics Mathematical Theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996210104103316 |
Barwise Jon
|
||
| [Place of publication not identified], : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Admissible Sets and Structures: An Approach to Definability Theory
| Admissible Sets and Structures: An Approach to Definability Theory |
| Autore | Barwise Jon |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1976 |
| Disciplina | 511/.3 |
| Collana | Perspectives in mathematical logic Admissible sets and structures |
| Soggetto topico |
Admissible sets
Definability theory (Mathematical logic) Mathematics Physical Sciences & Mathematics Mathematical Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910482882003321 |
|
Barwise Jon
|
||
| [Place of publication not identified], : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L'algorithmique et les sciences / / Bernard Chazelle, Chaire annuelle d'informatique et sciences numériques (2012-2013) [[electronic resource]]
| L'algorithmique et les sciences / / Bernard Chazelle, Chaire annuelle d'informatique et sciences numériques (2012-2013) [[electronic resource]] |
| Autore | Chazelle B (Bernard) |
| Pubbl/distr/stampa | Collège de France, 2013 |
| Descrizione fisica | 1 online resource (101 pages ) : illustrations ; |
| Collana | Les leçons inaugurales du Collège de France ; no 229 |
| Soggetto topico |
Algorithms
Mathematics Physical Sciences & Mathematics Mathematical Theory |
| Soggetto non controllato |
algorithmique
systèmes dynamiques sciences numériques informatique |
| ISBN | 2-7226-0192-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910133351403321 |
|
Chazelle B (Bernard)
|
||
| Collège de France, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bounded variable logics and counting : a study in finite models
| Bounded variable logics and counting : a study in finite models |
| Autore | Otto Martin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1997 |
| Descrizione fisica | 1 online resource (190 pages) |
| Disciplina | 511.3/3 |
| Collana | Lecture notes in logic Bounded variable logics and counting |
| Soggetto topico |
Model theory
Computational complexity Mathematics Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 3-662-21676-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index. |
| Record Nr. | UNISA-996210818203316 |
|
Otto Martin
|
||
| [Place of publication not identified], : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Bounded variable logics and counting : a study in finite models
| Bounded variable logics and counting : a study in finite models |
| Autore | Otto Martin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1997 |
| Descrizione fisica | 1 online resource (190 pages) |
| Disciplina | 511.3/3 |
| Collana | Lecture notes in logic Bounded variable logics and counting |
| Soggetto topico |
Model theory
Computational complexity Mathematics Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 3-662-21676-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index. |
| Record Nr. | UNINA-9910482885703321 |
|
Otto Martin
|
||
| [Place of publication not identified], : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Early Mathematical Manuscripts of Leibniz [[electronic resource]]
| Early Mathematical Manuscripts of Leibniz [[electronic resource]] |
| Autore | Leibniz G. W |
| Pubbl/distr/stampa | Dover Publications, 2012 |
| Descrizione fisica | 1 online resource (394 p.) |
| Disciplina | 510 |
| Altri autori (Persone) | ChildJ. M |
| Collana | Dover Books on Mathematics |
| Soggetto topico |
Mathematics
Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 0-486-15471-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Title Page""; ""Copyright Page""; ""PREFACE.""; ""Table of Contents""; ""I. - INTRODUCTION.""; ""II. - LETTER TO BERNOULLI.""; "" 1.""; ""NOTE.""; ""III. - “HISTORIA ET ORIGO CALCULI DIFFERENTIALIS.â€?""; ""Â2.""; ""IV. - MANUSCRIPTS OF THE PERIOD 1673-1675.""; "" 3.""; "" 4.""; "" 5.""; "" 6.""; "" 7.""; "" 8.""; ""Â9.""; ""Â10.""; ""V. - MANUSCRIPTS OF THE PERIOD 1676, 1677, AND A LATER UNDATED MANUSCRIPT.""; "" 11-15.""; "" 11.""; "" 12.""; "" 13.""; "" 14.""; "" 15.""; "" 16.""; "" 17.""; ""VI. - LEIBNIZ IN LONDON.""
""CRITICAL NOTES ON GERHARDT�S ESSAY.""""TRANSLATIONS OF THE MANUSCRIPTS""; ""CRITICAL NOTE.""; ""NOTE.""; ""VII. - LEIBNIZ AND PASCAL.""; ""TRANSLATIONS OF THE MANUSCRIPTS""; ""VIII. - CONCLUSIONS.""; ""BIBLIOGRAPHY.""; ""INDEX.""; ""A CATALOG OF SELECTED DOVER BOOKS IN SCIENCE AND MATHEMATICS"" |
| Record Nr. | UNISA-996320176903316 |
|
Leibniz G. W
|
||
| Dover Publications, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Early Mathematical Manuscripts of Leibniz [[electronic resource]]
| Early Mathematical Manuscripts of Leibniz [[electronic resource]] |
| Autore | Leibniz G. W |
| Pubbl/distr/stampa | Dover Publications, 2012 |
| Descrizione fisica | 1 online resource (394 p.) |
| Disciplina | 510 |
| Altri autori (Persone) | ChildJ. M |
| Collana | Dover Books on Mathematics |
| Soggetto topico |
Mathematics
Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 0-486-15471-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Title Page""; ""Copyright Page""; ""PREFACE.""; ""Table of Contents""; ""I. - INTRODUCTION.""; ""II. - LETTER TO BERNOULLI.""; "" 1.""; ""NOTE.""; ""III. - “HISTORIA ET ORIGO CALCULI DIFFERENTIALIS.â€?""; ""Â2.""; ""IV. - MANUSCRIPTS OF THE PERIOD 1673-1675.""; "" 3.""; "" 4.""; "" 5.""; "" 6.""; "" 7.""; "" 8.""; ""Â9.""; ""Â10.""; ""V. - MANUSCRIPTS OF THE PERIOD 1676, 1677, AND A LATER UNDATED MANUSCRIPT.""; "" 11-15.""; "" 11.""; "" 12.""; "" 13.""; "" 14.""; "" 15.""; "" 16.""; "" 17.""; ""VI. - LEIBNIZ IN LONDON.""
""CRITICAL NOTES ON GERHARDT�S ESSAY.""""TRANSLATIONS OF THE MANUSCRIPTS""; ""CRITICAL NOTE.""; ""NOTE.""; ""VII. - LEIBNIZ AND PASCAL.""; ""TRANSLATIONS OF THE MANUSCRIPTS""; ""VIII. - CONCLUSIONS.""; ""BIBLIOGRAPHY.""; ""INDEX.""; ""A CATALOG OF SELECTED DOVER BOOKS IN SCIENCE AND MATHEMATICS"" |
| Record Nr. | UNINA-9910160959003321 |
|
Leibniz G. W
|
||
| Dover Publications, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essential stability theory
| Essential stability theory |
| Autore | Buechler Steven |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1996 |
| Disciplina | 511.3 |
| Collana | Perspectives in mathematical logic Essential stability theory |
| Soggetto topico |
Model theory
Stability Mathematics Physical Sciences & Mathematics Mathematical Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910482881703321 |
|
Buechler Steven
|
||
| [Place of publication not identified], : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essential stability theory
| Essential stability theory |
| Autore | Buechler Steven |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1996 |
| Disciplina | 511.3 |
| Collana | Perspectives in mathematical logic Essential stability theory |
| Soggetto topico |
Model theory
Stability Mathematics Physical Sciences & Mathematics Mathematical Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996210103803316 |
|
Buechler Steven
|
||
| [Place of publication not identified], : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fine structure and iteration trees
| Fine structure and iteration trees |
| Autore | Mitchell William J |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer Verlag, 1994 |
| Descrizione fisica | 1 online resource (137 pages) |
| Disciplina | 511.3 |
| Collana | Lecture notes in logic Fine structure and iteration trees |
| Soggetto topico |
Constructive mathematics
Set theory Mathematics Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 3-662-21903-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 3 Fine Structure and Iteration Trees -- Fine Structure and Iteration Trees -- Copyright -- Contents -- 0. Introduction -- 1. Good Extender Sequences -- 2. Fine Structure -- 3. Squashed Mice -- 4. Ultrapowers -- 5. Iteration Trees -- 6. Uniqueness of Wellfounded Branches -- 7. The Comparison Process -- 8. Solidity and Condensation -- 9. Uniqueness of the Next Extender -- 10. Closure under Initial Segment -- 11. The Construction -- 12. Iterability -- References -- Index of Definitions -- Index. |
| Record Nr. | UNISA-996210817503316 |
|
Mitchell William J
|
||
| [Place of publication not identified], : Springer Verlag, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Mathematical Theory
(37)
- Mathematics (37)
- Physical Sciences & Mathematics (37)
- Algebra (5)
- Calculus (4)